1. <A> Proof Theory for General Unification
پدیدآورنده: \ Wayne Snyder
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving
رده :
E-Book
,
2. A proof theory for general unification
پدیدآورنده: / Wayne Snyder,Snyder
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
1991
3. A proof theory for general unification
پدیدآورنده: Wayne Snyder
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
4. Fiscal policy in seven countries 1955-1965
پدیدآورنده: / by Bent Hansen assisted by Wayne W. Snyder
کتابخانه: کتابخانه دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Fiscal policy-Europe,Fiscal policy-United States
رده :
HJ
236
.
H28
5. Hour Trainer-Knight's Microsoft SQL Server 2012 Integration Services 24
پدیدآورنده: / Brian Knight, Devin Knight, Mike Davis, Wayne Snyder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
